341. Church's Thesis after 70 years /
پدیدآورنده : Adam Olszewski, Jan Woleński, Robert Janusz (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Church, Alonzo,1903-1995,Logic, Symbolic and mathematical
رده :
QA9
.
C58
2006
342. Classical mathematical logic : the semantic foundations of logic
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
QA
9
.
E67C56
343. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
344. Closure Spaces and Logic
پدیدآورنده : by Norman M. Martin, Stephen Pollard.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
345. Closure properties and kripke models for fragments of heyting arithmetic
پدیدآورنده : by: Morteza Moniri,^AMoniri, Morteza
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
346. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده : I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
347. Cognitive reasoning
پدیدآورنده : Oleg Anshakov, Tamás Gergely
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cognitive science,Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
A77
2010eb
348. Cognitive reasoning
پدیدآورنده : / Oleg M. Anshakov, Tamas Gergely
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science
رده :
QA9
.
A57
2010
349. Cognitive reasoning: a formal approach
پدیدآورنده : / Oleg M. Anshakov, Tamas Gergely
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science
رده :
511
.
3
A618C
2010
350. Cognitive reasoning : a formal approach
پدیدآورنده : Tamas Gergely, Oleg M. Anshakov
کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)
موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science
351. Cognitive reasoning : a formal approach
پدیدآورنده : Anshakov, Oleg M.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Reasoning,، Cognitive science
رده :
QA
9
.
A57C6
352. Collected Works
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and Mathematical. ;
353. Collected logical works
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, Symbolic and mathematical,Cognition
رده :
164
Bo-C
354. Collected works /
پدیدآورنده : Stanisław Leśniewski ; edited by Stanisław J. Surma, Jan T. Srzednicki, and D.I. Barnett ; with an annotated bibliography by V. Frederick Rickey
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
B4691
.
L442
E5
1991
355. Collected works
پدیدآورنده : Lesniewski, Stanislaw
کتابخانه: (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
B
4691
.
L442
E5
1991
356. Collected works
پدیدآورنده : Kurt Godel
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Logic, symbolic and mathematical
357. Collected works
پدیدآورنده : Gغodel, Kurt.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA9
.
G5313
1986
358. Collected works
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Collected works ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
359. Collected works
پدیدآورنده : Penrose, Roger
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematical physics,، Logic, Symbolic and mathematical,، Physics - Philosophy
رده :
QC
19
.
3
.
P46
2011
360. Collected works, Selections. English. 1991
پدیدآورنده : Lesniewski, Stanislaw
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
B
4691
.
L442
.
E5
1991
